Inhalt des Dokuments

Forschung

Artikel akzeptiert (ICTAC 2019)

Dienstag, 23. Juli 2019

Artikel "Taming Concurrency for Verification Using Multiparty Session Types” akzeptiert bei ICTAC 2019 (Co-Autoren Kirstin Peters, Christoph Wagner und Uwe Nestmann)(Rate 20/138, 14%)

---